high-order language, HOL

高阶语言